Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms

Unique Normal Forms in Infinitary Weakly Orthogonal Term Rewriting

We present some contributions to the theory of infinitary rewriting for weakly orthogonal term rewrite systems, in which critical pairs may occur provided they are trivial. We show that the infinitary unique normal form property (UN∞) fails by a simple example of a weakly orthogonal TRS with two collapsing rules. By translating this example, we show that UN∞ also fails for the infinitary λβη-ca...

On the computation of unique normal forms and quadratic convergence

An algorithm is given which computes the transformation that transforms the initial system to final normalized system to a given order, while reducing the order to which intermediate results need to be computed. The algorithm will convergence quadratically when one is only interested in obtaining the classical normal form and somewhere in between linearly and quadratically in the general case.

study the effects of low level laser diode on no production and healing of diabetic and cortisone acetate and normal wounded sd rats

nitric oxide (no) is a small molecule synthesized by most of mammalian cells with diverse biological activities including vasodilatation, host defense and wound healing. impaired wound healing is a common occurrence among diabetics and patients receiving glucocorticoid therapy. on the other hand the application of laser in biomedical area have been increased. thus, the current studies were desi...

Coherence without Unique Normal Forms

Coherence theorems for covariant structures carried by a category have traditionally relied on the underlying term rewriting system of the structure being terminating and confluent. While this holds in a variety of cases, it is not a feature that is inherent to the coherence problem itself. This is demonstrated by the theory of iterated monoidal categories, which model iterated loop spaces and ...

Two Normal Forms for Rewriting P Systems